- переменная - формула
- SAP.fin. formula variable
Универсальный русско-английский словарь. Академик.ру. 2011.
переменная - формула
Смотреть что такое "переменная - формула" в других словарях:
Формула Фаа-ди-Бруно — является обобщением формулы дифференцирования сложной функции на производные более высоких порядков. Она была названа в честь итальянского математика и священника Франческо Фаа ди Бруно, благодаря которому она стала известна (примерно 1855), хотя … Википедия
Переменная величина — Переменная атрибут физической или абстрактной системы, который может изменять своё значение. Значение может меняться в зависимости от контекста, в котором рассматривается система, или в случае уточнения, о какой конкретно системе идёт речь … Википедия
Переменная — переменное, одно из основных понятий математики и логики. Начиная с работ П. Ферма, Р. Декарта, И. Ньютона, Г. В. Лейбница и др. основоположников «высшей» математики под П. понимали некоторую «величину», которая может «изменяться»,… … Большая советская энциклопедия
ПЕРЕМЕННАЯ — (п е р е м е н н о е) – в классич. высшей математике (начиная с 17 в. – Ферма, Декарт, Ньютон, Лейбниц и др.) величина, могущая принимать в процессе своего изменения различные значения. Понятие П. в его первонач. формулировках явилось основой для … Философская энциклопедия
ПРЕДВАРЕННАЯ ФОРМУЛА — формула узкого исчисления предикатов (УИП), имеющая вид где Qi обозначает квантор всеобщности или квантор существования $, переменные х i, xj различны при и Y формула, не содержащая кванторов. П. ф. наз. также предваренными нормальными формами… … Математическая энциклопедия
ПРЕДИКАТНАЯ ПЕРЕМЕННАЯ — переменная, значениями к рой могут быть предикаты. При формальном построении аксиоматич. систем П. п. отличаются от индивидных переменных тем, что вместо них можно подставлять формулы. Так, в исчислении предикатов 2 й ступени, если в аксиоме х… … Математическая энциклопедия
Математическая формула — Эта статья об обозначениях элементарной математики; Для более общего контекста см.: Математические обозначения. Математическая формула (от лат. formula уменьшительное от forma образ, вид) принятая в математике (а также… … Википедия
ЛОГИЧЕСКАЯ ФОРМУЛА — выражение в языке формальной логики, являющееся аналогом предложения. Точное определение Л. ф. дается для каждого конкретного логич. языка. Как правило, определение формулы имеет индуктивный характер: выделяется класс выражений, называемых… … Математическая энциклопедия
РАЗРЕШИМАЯ ФОРМУЛА — (в данной системе) такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. е. является теоремой), либо опровержима (т. е. доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в… … Математическая энциклопедия
ЗАМКНУТАЯ ФОРМУЛА — такая формула логич. исчисления, к рая выражает нек рое высказывание; формула, не содержащая свободных переменных вовсе или имеющая только такие их вхождения, к рые нельзя связывать кванторами, не выходя за рамки данного исчисления. Напр., З. ф.… … Философская энциклопедия
Динамическая переменная (физика) — Эта статья о физическом термине. О более общем термине см. Физическая величина. У этого термина существуют и другие значения, см. Динамическая переменная. Динамические переменные описывают динамику системы в отличие от… … Википедия
